Optimal. Leaf size=152 \[ \frac{\left (2 a^2-b^2\right ) \cos ^3(c+d x)}{3 a^3 d}-\frac{b \left (2 a^2-b^2\right ) \cos ^2(c+d x)}{2 a^4 d}-\frac{\left (a^2-b^2\right )^2 \cos (c+d x)}{a^5 d}+\frac{b \left (a^2-b^2\right )^2 \log (a \cos (c+d x)+b)}{a^6 d}+\frac{b \cos ^4(c+d x)}{4 a^2 d}-\frac{\cos ^5(c+d x)}{5 a d} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.194132, antiderivative size = 152, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 4, integrand size = 21, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.19, Rules used = {3872, 2837, 12, 772} \[ \frac{\left (2 a^2-b^2\right ) \cos ^3(c+d x)}{3 a^3 d}-\frac{b \left (2 a^2-b^2\right ) \cos ^2(c+d x)}{2 a^4 d}-\frac{\left (a^2-b^2\right )^2 \cos (c+d x)}{a^5 d}+\frac{b \left (a^2-b^2\right )^2 \log (a \cos (c+d x)+b)}{a^6 d}+\frac{b \cos ^4(c+d x)}{4 a^2 d}-\frac{\cos ^5(c+d x)}{5 a d} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3872
Rule 2837
Rule 12
Rule 772
Rubi steps
\begin{align*} \int \frac{\sin ^5(c+d x)}{a+b \sec (c+d x)} \, dx &=-\int \frac{\cos (c+d x) \sin ^5(c+d x)}{-b-a \cos (c+d x)} \, dx\\ &=\frac{\operatorname{Subst}\left (\int \frac{x \left (a^2-x^2\right )^2}{a (-b+x)} \, dx,x,-a \cos (c+d x)\right )}{a^5 d}\\ &=\frac{\operatorname{Subst}\left (\int \frac{x \left (a^2-x^2\right )^2}{-b+x} \, dx,x,-a \cos (c+d x)\right )}{a^6 d}\\ &=\frac{\operatorname{Subst}\left (\int \left (\left (a^2-b^2\right )^2-\frac{b \left (-a^2+b^2\right )^2}{b-x}+b \left (-2 a^2+b^2\right ) x-\left (2 a^2-b^2\right ) x^2+b x^3+x^4\right ) \, dx,x,-a \cos (c+d x)\right )}{a^6 d}\\ &=-\frac{\left (a^2-b^2\right )^2 \cos (c+d x)}{a^5 d}-\frac{b \left (2 a^2-b^2\right ) \cos ^2(c+d x)}{2 a^4 d}+\frac{\left (2 a^2-b^2\right ) \cos ^3(c+d x)}{3 a^3 d}+\frac{b \cos ^4(c+d x)}{4 a^2 d}-\frac{\cos ^5(c+d x)}{5 a d}+\frac{b \left (a^2-b^2\right )^2 \log (b+a \cos (c+d x))}{a^6 d}\\ \end{align*}
Mathematica [A] time = 0.362462, size = 172, normalized size = 1.13 \[ \frac{-40 a^3 b^2 \cos (3 (c+d x))-60 a \left (-14 a^2 b^2+5 a^4+8 b^4\right ) \cos (c+d x)-60 \left (3 a^4 b-2 a^2 b^3\right ) \cos (2 (c+d x))-960 a^2 b^3 \log (a \cos (c+d x)+b)+15 a^4 b \cos (4 (c+d x))+480 a^4 b \log (a \cos (c+d x)+b)+50 a^5 \cos (3 (c+d x))-6 a^5 \cos (5 (c+d x))+480 b^5 \log (a \cos (c+d x)+b)}{480 a^6 d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.043, size = 216, normalized size = 1.4 \begin{align*} -{\frac{ \left ( \cos \left ( dx+c \right ) \right ) ^{5}}{5\,ad}}+{\frac{b \left ( \cos \left ( dx+c \right ) \right ) ^{4}}{4\,{a}^{2}d}}+{\frac{2\, \left ( \cos \left ( dx+c \right ) \right ) ^{3}}{3\,ad}}-{\frac{ \left ( \cos \left ( dx+c \right ) \right ) ^{3}{b}^{2}}{3\,d{a}^{3}}}-{\frac{b \left ( \cos \left ( dx+c \right ) \right ) ^{2}}{{a}^{2}d}}+{\frac{ \left ( \cos \left ( dx+c \right ) \right ) ^{2}{b}^{3}}{2\,d{a}^{4}}}-{\frac{\cos \left ( dx+c \right ) }{ad}}+2\,{\frac{{b}^{2}\cos \left ( dx+c \right ) }{d{a}^{3}}}-{\frac{{b}^{4}\cos \left ( dx+c \right ) }{d{a}^{5}}}+{\frac{b\ln \left ( b+a\cos \left ( dx+c \right ) \right ) }{{a}^{2}d}}-2\,{\frac{{b}^{3}\ln \left ( b+a\cos \left ( dx+c \right ) \right ) }{d{a}^{4}}}+{\frac{{b}^{5}\ln \left ( b+a\cos \left ( dx+c \right ) \right ) }{d{a}^{6}}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.06019, size = 190, normalized size = 1.25 \begin{align*} -\frac{\frac{12 \, a^{4} \cos \left (d x + c\right )^{5} - 15 \, a^{3} b \cos \left (d x + c\right )^{4} - 20 \,{\left (2 \, a^{4} - a^{2} b^{2}\right )} \cos \left (d x + c\right )^{3} + 30 \,{\left (2 \, a^{3} b - a b^{3}\right )} \cos \left (d x + c\right )^{2} + 60 \,{\left (a^{4} - 2 \, a^{2} b^{2} + b^{4}\right )} \cos \left (d x + c\right )}{a^{5}} - \frac{60 \,{\left (a^{4} b - 2 \, a^{2} b^{3} + b^{5}\right )} \log \left (a \cos \left (d x + c\right ) + b\right )}{a^{6}}}{60 \, d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.9067, size = 327, normalized size = 2.15 \begin{align*} -\frac{12 \, a^{5} \cos \left (d x + c\right )^{5} - 15 \, a^{4} b \cos \left (d x + c\right )^{4} - 20 \,{\left (2 \, a^{5} - a^{3} b^{2}\right )} \cos \left (d x + c\right )^{3} + 30 \,{\left (2 \, a^{4} b - a^{2} b^{3}\right )} \cos \left (d x + c\right )^{2} + 60 \,{\left (a^{5} - 2 \, a^{3} b^{2} + a b^{4}\right )} \cos \left (d x + c\right ) - 60 \,{\left (a^{4} b - 2 \, a^{2} b^{3} + b^{5}\right )} \log \left (a \cos \left (d x + c\right ) + b\right )}{60 \, a^{6} d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.31959, size = 1170, normalized size = 7.7 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]